Choices, Frameworks and Refinement
نویسندگان
چکیده
We present a method for designing operating systems as an object-oriented framework of generalized, abstract components. The framework is specialized into further subframeworks to implement subqystems of the operating system. Each subframework introduces constraints and relationships between the abstract classes of the components. The constraints are inherited by the instantiations of the framework. Choices is an object-oriented operating system designed and implemented using frameworks. In this paper, we explain the application of our design approach to Choices. We describe the following subsystems and their subframeworks: virtual memory, persistent storage, process management, message passing and device management subframeworks. We discuss the advantages and disadvantages of using frameworks to design and implement object-oriented systems. This work was supported in part by NSF grant CISE-1-5-30O35 and by NASA grants NSG l47l and NAG 1-163. @ Computing Systems, Vol. 5 ' No. 3 ' Summer 1992 217 I . Frameworks in an Object-Oriented
منابع مشابه
Environment.
In contrast to the approaches to resource management and preservation of the past decade, a new perspective on environmental problems is emerging. Six major trends in scientific thinking are (i) increased efforts to examine environments In holistic frameworks, (ii) greater attention to life support systems, (iii) enlarged canvass of the range of choices in resource management, (iv) refinement i...
متن کاملIs Patient Choice the Future of Health Care Systems?
Patient and user choice are at the forefront of the debate on the future direction of health and public services provision in many industrialized countries in Europe and elsewhere. It is used both, as a means to achieve desired policy goals in public health care systems such as greater efficiency and improved quality of care, and as a good with its own intrinsic value. However, the evidence sug...
متن کاملChoices , Frameworks and Re nement
In this paper, we present a method for designing operating systems using object-oriented frameworks. A framework can be re ned into subframeworks. Constraints specify the interactions between the subframeworks. We describe how we used object-oriented frameworks to design Choices, an object-oriented operating system. 1 Frameworks in an Object-Oriented
متن کاملA refinement of prudent choices
We charaterize the choice correspondences that can be rationalized by a procedure that is a refinement of the prudent choices exposed in [Houy, 2008]. Our characterization is made by means of the usual expansion axiom and by a weakening of the usual contraction axiom α.
متن کاملThe Interaction Between Static Typing and Frameworks
Frameworks capture the commonalities in design and implementation between a family of related applications and are typically expressed in an object-oriented language. Software engineers use frameworks to reduce the cost of building complex applications. This paper characterizes the operations of instantiation, refinement and extension used to build applications from frameworks and explores how ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Computing Systems
دوره 5 شماره
صفحات -
تاریخ انتشار 1992